The dotted arrows are a first type of emphasized arrows; their construction is rather slow. It will be easier for LATEX to print an arrow in bold face style: to realize this, just preceed the command for the arrow by the command ++; thus + AfB+ produces AfB. That ``bolding'' process applies to both the ``in text'' and the ``diagram'' arrows.